How much did these machines cost? Sorry, I know I could probably dig through and find the answers, but this is a long thread.