Ultrasound and stretching are standard practice in PT for torn muscles which result in calcified scar tissue. You stretch vigoursly to break up the deposit, then ultrasound helps in the disposal of the mineral residue. I have no idea whether ultrasound would be of any benefit to weight training induced muscle trauma. Might help somewhat for extreme soreness, but whose gym has a US unit anyways?