November WTI crude oil (CLX25 ) today is down -0.33 (-0.56%), and November RBOB gasoline (RBX25 ) is up +0.0035 (+0.19%). Crude oil and gasoline prices are mixed today. Crude remains under pressure on concerns over a global supply glut after the IEA on Tuesday forecast a record global oil…