Have you ever wondered why the IRS is based in Puerto Rico?