absolutely. they checked the irs.gov page where they could retrieve their IP PINs and those were the same numbers.
