Today, Circus bonds were priced at a premium all day and Big Top bonds were priced at a premium all day. Both bonds have face values of $$1,000\mathrm{.}00$ and pay their next annual coupons in $1$ year. Kirk had $$10,000\mathrm{.}00$ at the start of the day and Ashley had $$10,000\mathrm{.}00$ at the start of the day. Which one of the following assertions is true?

Kirk had enough money to buy $10$ Circus bonds today and Ashley had enough money to buy $10$ Big Top bonds today

Kirk did not have enough money to buy $10$ Circus bonds today and Ashley had enough money to buy $10$ Big Top bonds today

Kirk had enough money to buy $10$ Circus bonds today and Ashley did not have enough money to buy $10$ Big Top bonds today

Kirk did not have enough money to buy $10$ Circus bonds today and Ashley did not have enough money to buy $10$ Big Top bonds today