…but for how long should you grill pasta?