I just bought a set of TPMS sensors from the local Service Centre, Cdn$71 each (so about U$53/ea), though mine didn't come with the instruction sheet - so thanks for posting those.
Main difference: in the scratched out area near the "Made in Mexico" on the ones pictured above, mine still has the Tesla logo and part number (1034602-00-B)