[Hofzinser]

Thanks for the input.

Here's what happened next (feel free to criticise my play at any stage):

I led out with a bet of 2500. The original raiser, after a moment's thought, pushed all in for precisely 4750 (so 2250 more). The button pondered for a good few seconds and then called. Back to me, with 2250 to call. What next?