A gulf-front mansion that made a cameo in the movie “Magic Mike” is now on the market. The asking price is $12 million.

The actor best known for portraying Captain America acquired the Hollywood Hills residence in 2013 for $3.5 million.