I wonder if anyone here has (or had) one of the rare "anatomically correct" Ken dolls that were only sold in Europe? The ones in the US came with permanently attached blue boxer shorts.