I checked with tech support and even though it says you can e-file an amended return for a return that was e-filed in another system, you cannot do it in ProSeries.  Only if the original return was e-filed by you in the same software can you e-file the 1040-X.  The instruction on the website is wrong.