Veronica was recently diagnosed with a heart condition. Her doctor's bill was $4,200 for the diagnostics. Her policy has a $250 deductible and a 80/20 coinsurance provision up to $10,000 and then the insurance pays 100% thereafter. In total, how much will Veronica pay for her diagnosis?