Jon is looking into a $4250 vacation package that is offered for 25% off. There is a 9% resort fee added on to the total. How much will the vacation cost Jon?