Vintage Red Shorts

Red shorts purchased from vintage store in 2018. Brand on tag = Five Star. Elastic waist along the back side. 2 functional waist buttons as well on left side. Blue/white piping detail at hem & pocket. Good condition. 3 small, unnoticeable stains that were present when I purchased the item (see last 2 pictures). SIZE SMALL-MEDIUM Note: Size not listed but I typically wear a Small & these are just slightly too big. WAIST - 27” LEG OPENING - 11 3/4” INSEAM - 10 3/4”