I take the liner in and out often and just noticed that on the sleeves are different color loop straps---red and gray. Does that denote how they fasten to the loops in the sleeves? They both are the same distance and buying it used I did not get a manual.