Yes, 30000 Credits can be purchased for $30 and will buy $30 worth of cards on the market. It's simply an intermediary token because there are many problems with having people make PayPal purchases directly for cards on the market.