You own a 30 year AAA rated corporate bond that you bought exactly 13 years ago. The stated rate on the bond indenture is 7.5%. The yield to maturity on new issues of similar corporate bonds is 5.2%. Someone offers you $1,225 for your bond. Is this a fair price, to you the seller? What is the fair price?