I have not seen a 9.9 in some time. They all seem to be 15hp. You can always ask them to swap it as the dinghies don’t belong to the boats.