What other prescription muscle relaxers are on the market? Is Soma a muscle relaxer? I believe I heard it was no longer going to be made - is this correct? I would appreciate knowing what other muscle relaxers are here in the U.S. Thanks!