4512 thermal oil level sensor