Quote
Ernst said:
Quote
...

Entering the US he, or anybody, would use their regular passport which is fine since the US doesn't stamp your PP when you get back home.


That is news to me. My passport always gets stamped when I get back home.

Your's isn't?


Nope, as a US citizen returning to the US literally hundreds of times, I've never had a stamp put in it by an official of the USA.