I need help from the experts here. What coilsprings are these?

So I bought these red coilsprings from a guy on FB Marketplace, they were advertised as 2015 Tacoma Pro coils. I have a 2013 Tacoma Baja that I want to take back to stock suspension on the front using my factory Baja bilstein shocks. One of my Baja coils broke in storage while I had my ome 886's and 5100's on so I can't reuse them. I've search online to find the part numbers on the coilsprings with no luck. They are the same height (unmounted) as a set of 887's I have which are taller than the BAJA coilsprings. I just need to figure out what coilsprings these are before I mount them. I'm looking to get 1.75-2.25" lift, I know I probably will need to get a pair of 1/4"-1/2" Toytec top plate spacers. Thanks in advanced for the insight and help.