Because of black Friday, Best Buy had an additional
15% off everything. How much would Carlos have to
pay for a DVD player that is $42 regular price but
marked down 25% off, if he buys it on Black Friday?