How many employees does Redline have?