When the starter on one of my previous vehicles bit the dust, there was no sound at all when I turned the key. So, I'm agreeing with your guy from work. Don't let the guy at the garage replace your starter! Batteries are much cheaper!
Good luck!

heather