WooThemes Search Box

Hey Guys

Just wondered if anyone knows what Woothemes use for there search box I want something very similar and if its a plugin I wanna grab it if not is there a plugin that achieves the same things?

http://www.woothemes.com/product-category/woocommerce-extensions

Something like that I need but if I can get another plugin similar I can use that!

Thanks in advance