Where can you find Dance Revolution songs besides Step mania dot com?

There is no song repository at Stepmania.com. The custom song marketplace In The Groove should be explored.