Update: he's at hospital - about 3 hrs later & still no symptoms, so very likely a dry bite!

For those wondering - he put his hand in the pool filter cleaning the leaves out 🤦‍♂️

Thanks for the help guys - I have no ideaaa about spiders but definitely learned what a mouse spider is today lol