The Shield Corporation has BB-rated bonds with a yield to maturity of 6.42% APR. A U.S Treasury, with the same maturity, currently has a yield to maturity of 4.30% APR. Both bonds pay semi-annual coupons at a 6.12% APR and have 5.00 years until maturity. (assume $1,000 face value). What is the current price of the Treasury bond?