Lots of recommendations but have not seen actual code.

50 gal electric would be considered on the low end for that house.
75 gal electric would be considered good.

A hot water circulation loop would help a lot if they keep the 40 gal.