4 days is about right. It is normally between 3 and 5 they say, although, indeed, sometimes it could be as quick as 2 days - I guess depends on the day of week, bank holidays, etc.
At the same time, I'm reading that Stripe has a daily payout schedule - worth checking them out!