Thanks people, I wasn't sure if I should lead the river because I wouldn't be sure of what the right move was if he shoved. I didn't consider that he isn't gonna shove very often, so it should definitely be a bet no matter how I respond to the shove. Is river bet size maybe a tad on the small side?

Results in white:
He didn't shove, he called with the mighty J5o! Note taken.