They usually go for $300+ depending on barrel length, stainless or blued and fixed or adjustable sights. The cheapest being blued pork chop style barrel models. They have a barrel shroud that has a tab that extends down to the front of the trigger guard, giving them the name, one of the earlier models. They don't make those shrouds anymore, the straight barrel shrouds are still available from DW/CZ and all the 15 series will interchange. Check the various auction sites for a general idea of one like you saw.