What is the price of the player if a $150 mp3 player is on sale for 30% off?