For anyone interested, I've had a back order in with Buffalo Arms for a box of Gras ammo. I got a call yesterday saying they are finally in so if you are in need of any, might be a good time to contact them. It's been six months since I placed the order. No idea how many they have. They are holding mine as I'm also waiting on some Dutch Mannlicher ammo.
I don't recall the price but I know it wasn't cheap. I need the brass so it's the only box I plan to buy.