I just looked at the professional version and the top of the form states "attach to your income tax return" as it does it basic.

I'm pretty sure that form gets efiled in PSPro, but I'm not positive.

Hopefully a forum allstar/ champ will know for sure.