It is ok to warm up for 15 minutes - as long as you spend them on warming up, and not talking to the other guys in the gym. Usually, I will warm up all of my bodyparts, from head to toes, and this also takes some time, but it is well worth it, because you exercise all of the joints, and you train with confidence.