One cannot install the pro kit in a component. His 80.3 comes pro-kit enabled and one has to buy a component-specific license ($150) as well as the pro-kit, itself (~$500). So, when he says that the pro kit is installed, I hope he means that it comes with the license and/or comes with the kit and not just as the 80.3 comes from the factory.
+1, I agree with this and Kal's comments on DEQ
The "Pro kit" is a separate mic, phantom power supply, stand, cables, etc bundled in a nice Audyssey badged carry case. That is what costs somewhere around $550
The Integra is simply "Pro kit" ready, meaning it comes with a free label You will need to purchase a license for the privilege of using it.
I'll sell you my kit for $400.00
Edit: I see this has been addressed already. That's what I get for walking away from the computer for a few minutes in the middle of a reply Kit still for sale though
Let me double check and see what he says and meant