If you can live with it (the dent) then just ignore it
lor.
But if you really wanna go for repair, from what you described the
damage, if you go to repair shops at Sin Ming, at max will cost you
about $100. Usually will be a day's job, send in morning collect
car in the evening.
I just did mine yesterday, cost me 100 bucks, mine is about size of
a 50c coin, paint came out also.