Randy bought a zero coupon bond and a TIPS 5 years ago for $2,500 each. Both had 10 years to maturity. The TIPS's coupon was 2% while the zero coupon bond will be redeemed for $3,000. What should the maximum real value of his bonds be if he tries to sell them today?