Rob I think your over thinking the filament change I can change filament in 30sec or so. Just stop print and with hot-end hot release the tension with your thumb and pull the old filament out and insert new. I like to manual extrude till the new color is extruding aprox 1" or so.