According to this post. The bigger the better.
We only need to follow the same specs the car came with, unless you are modifying the load electrical like adding a massive audio system.
I’m always skeptical of local workshops and their theories.
Adding a bigger battery when not required does nothing. It only adds weight and lightens your wallet.