Looks like @rubel579 hasn't received any replies!