Credit: Courtesy Washington Fine Properties Arlington penthouse used in a Tom Hanks movie hits market for $3.8M