Hi there!
Some cases I've used Bu Gan Tang and some I've used You Gui Wan. Use the former if there are more muscle spasm issues for sure. Use the latter if there is a lot of low back pain.
As for the other two formulas, yes, I'm using those
Cheers
Steve