RSMF3JB1K80, a part of the parts library