Yeah, but $79 (or more) for that pocket is not exactly a "good price". Check junkyards - I think that some of the previous generation Pros use a similar (or same) pocket under the single DIN deck.
Other than that, I used a $5 pocket from a universal install kit from Metra (no cover, just an open pocket) for my Pro5. Go to whatever stereo shops you've tried and talk to the INSTALLERS, not the salespeople. They have to have something, and might even just give one to you.