Do these muscles deserve some special massage after working out?