westinghouse coke machine serial numbers