TOPCON QUESTION - Answer: "Yes"
PC-CDU has seemed to be the most painless way to download Hipers.
For some stupid reason the TopSurv tells the receiver which receiver it is. It will tell a Hiper that it is a GR3 for example which seems dumb to me. You can either change the survey style to one with the receiver the same as the receiver or you can change it later in Topcon Tools. Trimble never worked that way. A faststatic style didn't tell the receiver what kind of receiver it is because the receiver knows what it is.
TOPCON QUESTION - Answer: "Yes"
TopSurv only "tells" the receiver what the survey style settings dictate. The purpose of writing the antenna type and height information in the tps file is to avoid having to manually set the values in your post processing software. GR-3 happens to be the default in the software. All RTK software I am aware of sends commands antenna type commands so offsets can be properly calculated.
TOPCON QUESTION - Answer: "Yes"
Yes I understand all of that but a receiver should create a TPS file with the receiver type filled out already (I store files on the receiver). The controller can put in all the other stuff (ARP heights, etc). The TSC1 had a faststatic style which filled in all that information except for the receiver type because the receiver knows what it is.
TOPCON QUESTION - Answer: "Yes"
The thing is it isn't really telling the unit what kind of receiver it is but what kind of antenna it is using. For example, a GB500 could use a PG-A1, Legant, CR-3, G3-A1, etc. and the receiver would have no idea which is which. Most receivers now have integrated antennas but some have the capacity to use external antennas as well.