Slice each egg in half lengthwise and arrange on a platter. Remove the yolks and place in a bowl. Using a fork mash the yolks and add mustard, mayonnaise, onion, tabasco (if using), and a sprinkling salt and pepper. Spoon mixture into the egg white halves. Sprinkle with paprika and serve.