5NL FR flopped set vs half stack - extraction

bets are ok imo, we don't want to give him a cheap river so making him pay for his outs is ok (in the case he has a draw ofc) also, you want him to pay with any ace or ten, and seems like he isn't going to raise, so if he wants to go to the showdown, make him pay for it